Structural Synthesis of Programs Using Regular Data Structures
نویسنده
چکیده
This paper discusses a speciic feature of structural synthesis of programs. Using regular data structures enables to optimize the method of structural synthesis of programs for several particular cases. The method for program construction described here is implemented in the NUT programming system.
منابع مشابه
Strategies of Structural Synthesis of Programs
Strategies of the structural synthesis of programs (SSP) of a deductive program synthesis method which is suited for compositional programming in large and is in practical use in a number of programming environments are outlined. SSP is based on a decidable logical calculus where complexity of the proof search is still PSPACE. This requires paying special attention to efficiency of search. Besi...
متن کاملComparative Review of the Performance Based Design of Building Structures Using Static Non-Linear Analysis, Part A: Steel Braced Frames
The objective of this review to be submitted in two independent parts, for steel frames and for RC frames, is to compare their structural performance with respect to the proposed N2-method, and so also of the consequent convenience of using pushover methodology for the seismic analysis of these structures. A preliminary investigation is presented on a pushover analysis used for the seismic perf...
متن کاملComparative Review of the Performance Based Design of Building Structures Using Static Non-Linear Analysis, Part B: R/C Frames
The objective of this review to be submitted in two independent parts, for steel frames and for RC frames, is to compare their structural performance with respect to the proposed N2-method, and so also of the consequent convenience of using pushover methodology for the seismic analysis of these structures. A preliminary investigation is presented on a pushover analysis used for the seismic perf...
متن کاملComparison of Seismic Behavior of Buckling-restrained Braces and Yielding Brace System in Irregular and Regular Steel Frames under Mainshock and Mainshock-Aftershock
Due to low stiffness of braces after yielding, the structures with buckling-restrained braces (BRBs) experience high residual drifts during an earthquake, which can be intensified by aftershocks and causes considerable damages to structures. Also, due to poor distribution of stiffness, this problem is exacerbated for irregular structures. Recently, the yielding brace system (YBS) has been intro...
متن کاملDevelopment of Seismic Criteria for Seismic Responses of Regular and Irregular Structures in Plan considering Vertical Component of the Near-field Records
Field observations of the incurred damages to the buildings and bridges due to earthquakes in near field show there are various failure modes which are in relation to the forces caused by vertical component. While vertical component of earthquake for ordinary buildings in most seismic regulations and standards is not considered. Therefore, in the current study the effects of vertical and horizo...
متن کامل